package ar.edu.itba.it.atlc.model;

public class WriteTransition extends Transition {

	private final Symbol value;

	public WriteTransition(Status origin, Symbol symbol, Status destination,
			Symbol value) {
		super(origin, symbol, destination);
		this.value = value;
	}

	public Symbol getValue() {
		return value;
	}

	@Override
	public String toString() {
		return "WriteTransition [" + origin + "," + symbol + "," + destination
				+ "," + value + "]";
	}

}
